Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
91	PDF Document Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:35:49 Finite automata Theoretical computer science Mathematics Muller automaton Automata theory
92	An Automata Model for Trees with Ordered Data Values Tony Tan University of Edinburgh Edinburgh, UK Email: Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Mathematical logic Theoretical computer science Tree automaton Tree Linear temporal logic First-order logic Finite-state machine Context-free grammar T-tree Automata theory Mathematics Formal languages
93	A Comparison of Succinctly Represented Finite-state Systems ⋆ Romain Brenguier1 , Stefan G¨oller2 , and Ocan Sankur1 1 2 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2012-09-12 07:18:02 Logic in computer science Model theory Mathematics Automata theory Computer science Theoretical computer science Applied mathematics Bisimulation
94	Poster: Modeling of APT Attacks through Transforming Attack Scenarios into DEVS Models Jiyeon Kim Hyung-Jong Kim Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2015-05-11 16:42:45 Computer science Applied mathematics Simulation Dev Advanced persistent threat Cyberwarfare Computer security SP-DEVS Finite & Deterministic Discrete Event System Specification Automata theory DEVS Security
95	CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2013-05-22 15:22:06 Computer science International Colloquium on Automata Languages and Programming Symposium on Theoretical Aspects of Computer Science Tree automaton Finite-state machine Formal language Hierarchy Automata theory Theoretical computer science Applied mathematics
96	How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Computer science Ω-automaton Deterministic finite automaton Nondeterministic finite automaton Linear temporal logic Finite-state machine Symbol Büchi automaton Automata theory Theoretical computer science Formal methods
97	Automata and Logics for Concurrent Systems: Realizability and Verification Habilitation Thesis Mémoire d’Habilitation à Diriger des Recherches submitted by Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-07-17 03:24:58 Computer science Finite-state machine Model checking Formal verification Nested word Formal methods Automata-based programming Automata theory Theoretical computer science Applied mathematics
98	Probabilistic Finite Automata and Randomness in Nature: a New Approach in the Modelling and Prediction of Climatic Parameters1 L.Mora-Lópeza, R.Morales-Buenoa, M.Sidrach-de-Cardonab, F.Trigueroa a Add to Reading List Source URL: www.iemss.org Language: English - Date: 2011-11-23 04:44:28
99	FSA: An Efficient and Flexible C++ Toolkit for Finite State Automata Using On-Demand Computation Stephan Kanthak and Hermann Ney Lehrstuhl f¨ur Informatik VI, Computer Science Department RWTH Aachen – University of Te Add to Reading List Source URL: www-i6.informatik.rwth-aachen.de Language: English - Date: 2004-06-30 08:13:17
100	Exploring Infinite State Spaces with Finite Automata Pierre Wolper Universit´ e de Li` ege Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2001-11-16 12:56:27

UPDATE